Galileo probe battery system

Earth-Based Observations of the Galileo Probe Entry Site

Earth-based observations of Jupiter indicate that the Galileo probe probably entered Jupiter's atmosphere just inside a region that has less cloud cover and drier conditions than more than 99 percent of the rest of the planet. The visual appearance of the clouds at the site was generally dark at longer wavelengths. The tropospheric and stratospheric temperature fields have a strong longitudinal...

The Galileo probe mission to Jupiter: Science overview

This paper is an introduction to and overview of the accompanying papers in this issue which give detailed results from the Galileo probe mission to Jupiter, including results from the Galileo orbiter and Earth-based observations that are relevant for understanding the probe data and placing them in context. A summary of prior knowledge of Jupiter's atmosphere is also presented. All probe scien...

System Engineering Approach Applied to Galileo System

GALILEO: A System for Automating Ontology Evolution

We describe the GALILEO system, which is designed for automating the evolution of higher-order logic ontologies by incorporating user interaction for diagnosing and repairing faults. In particular, we present our approach to ontological conflict diagnosis, which circumvents problems posed by HOL’s undecidability by means of: formalising modular ontologies as Isabelle locales and preparing the s...

Battery Monitoring System using